🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔬 Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
⬆️Lambda Lifting
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
GHC Developer Blog: GHC 9.10.3-rc2 is now available
haskell.org·1d
🔗Functional Compilers
How To Solve Every Programming Problem
blog.codeminer42.com·6h
📐Interval Arithmetic
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·22h
📊Static Analysis
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·11h·
Discuss: Hacker News
🌐Protocol Synthesis
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Persistent Data Structures
Xcode 26 Beta 5
mjtsai.com·6h
🍎XNU Internals
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·9h·
Discuss: Hacker News
⚡Proof Automation
What Are Mixin Classes in Python?
realpython.com·12h
💻Programming languages
An easy-to-implement, arena-friendly hash map
nullprogram.com·4h·
Discuss: Lobsters
🔐Hash Functions
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·2d·
Discuss: DEV
🚚Data Migration
libsemigroups: C++ library for semigroups and monoids
github.com·1d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
Software books I wish I could read
buttondown.com·13h·
Discuss: Hacker News
🔄Language Evolution
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·22h
✨Effect Handlers
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·1d
✅Archive Validation
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·21h·
Discuss: Hacker News
🎯Gradual Typing
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·1d·
Discuss: Hacker News
🧪Binary Fuzzing
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·1d·
Discuss: Hacker News, r/programming
🔒WASM Capabilities
Loading...Loading more...
AboutBlogChangelogRoadmap